Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
271	Chapter 1 Functional Concepts in C++ Rose H. Abdul Rauf1 , Ulrich Berger2 , Anton Setzer2 3 Abstract: We describe a parser-translator program that translates typed λ-terms into C++ classes so as to integrate functional Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:37:26 Functional programming Models of computation Lambda calculus Subroutines Logic in computer science Denotational semantics Eval Type system Symbol Software engineering Computing Declarative programming
272	Programs and Strategies Guy McCusker Logic and Interaction[removed] Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-02-19 16:55:29 Logic in computer science Mathematical logic Strategy Game semantics Structure Semantics Denotational semantics Game theory Logic Mathematics
273	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
274	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
275	J Autom Reasoning manuscript No. (will be inserted by the editor) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-06 11:25:12 Computer science Logic in computer science Dependently typed programming Type theory Programming language semantics Generalized algebraic data type Lambda calculus Denotational semantics Theoretical computer science Software engineering Models of computation
276	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Adjoint functors Functional programming Logic in computer science Monad Models of computation Functor Applicative programming language Denotational semantics Map Declarative programming Abstract algebra Software engineering
277	KELDYSH INSTITUTE OF APPLIED MATHEMATICS Russian Academy of Sciences Add to Reading List Source URL: pat.keldysh.ru Language: English - Date: 2013-10-14 03:12:10 Models of computation TUTOR Diff Newline Lambda calculus Denotational semantics Computing Software engineering Computer programming
278	J , Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:38 Mathematical logic Programming language semantics Programming paradigms Models of computation Formal methods Denotational semantics Semantics of programming languages Programming language Operational semantics Mathematics Theoretical computer science Logic in computer science
279	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
280	Domain Theory In Logical Form Samson Abramsky Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:35 Order theory Denotational semantics Interpretation Domain theory Stone duality Model theory Duality Function Completeness Mathematics Mathematical logic Logic

UPDATE